由于 $T \subset S$ 有限, 根据定理 3.3.4, 系统至多有限次返回非常返态, 若 $T$ 为闭集, 则矛盾.